EDITOR MANUAL